disjunctive syllogisms

析取三段论